An Operational Semantics for Activity Diagrams using SMV
نویسندگان
چکیده
This document defines an operational semantics for activity diagrams (ADs) using a translation to SMV. The translation is inspired by the work of Eshuis [Esh06] and extends it with support for data. Each execution step of the SMV module obtained from an AD represents an executed action of this AD with interleaved execution of concurrent branches. An implementation of the given translation was used in the context of semantic differencing for ADs [MRR11]. We define the translation and give two examples, showing ADs and their complete representation in SMV.
منابع مشابه
Defining Domain Specific Operational Semantics for Activity Diagrams
Since the major revision 2 of the Unified Modeling Language (UML), activity diagrams have acquired many new features, e.g. hierarchy, data flow and signals. Thus, UML 2 activity diagrams are one of the most versatile formalisms, and can be applied in different domains. Activity diagrams are supported by a number of tools enabling for instance the execution of activity models. Based on the domai...
متن کاملAn Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams an Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams
Using operational semantic techniques, an extended variant of structured analysis style data ow diagrams is given a formal semantics. This semantics allows one to describe both how information is processed and the dynamic behavior of the system. The ability to describe dynamic behavior is an extension to the traditional notion of data ow diagrams. This semantics can serve as a target for giving...
متن کاملAn extensible formal semantics for UML activity diagrams
This paper presents an operational semantics for UML activity diagrams. The purpose of this semantics is three-fold: to give a robust basis for verifying model correctness; to help validate model transformations; and to provide a well-formed basis for assessing whether a proposed extension/interpretation of the modeling language is consistent with the standard. The challenges of a general forma...
متن کاملAn Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams
Using operational semantic techniques, an extended variant of structured analysis style data ow diagrams is given a formal semantics. This semantics allows one to describe both how information is processed and the dynamic behavior of the system. The ability to describe dynamic behavior is an extension to the traditional notion of data ow diagrams. This semantics can serve as a target for giving...
متن کاملModeling UML2 activity diagram by using Graph Transformation Systems and Abstract State Machine
Graphs and diagrams provide a simple and powerful approach variety of problems that are typical to computer science, for example for activities. In software development visual notation are used for modeling that including activity diagram, class diagram, control flow, graphs and some another diagrams. Models based on these notation can be seen a graph and graph transformation are involved. So A...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1409.2356 شماره
صفحات -
تاریخ انتشار 2011